منابع مشابه
Formalization of Phase Ordering
Phasers pose an interesting synchronization mechanism that generalizes many collective synchronization patterns seen in parallel programming languages, including barriers, clocks, and point-topoint synchronization using latches or semaphores. This work characterizes scheduling constraints on phaser operations, by relating the execution state of two tasks that operate on the same phaser. We prop...
متن کاملTheory of Phase Ordering Kinetics
The theory of phase ordering dynamics – the growth of order through domain coarsening when a system is quenched from the homogeneous phase into a brokensymmetry phase – is reviewed, with the emphasis on recent developments. Interest will focus on the scaling regime that develops at long times after the quench. How can one determine the growth laws that describe the time-dependence of characteri...
متن کاملGrowth laws for phase ordering.
We determine the characteristic length scale, L(t), in phase ordering kinetics for both scalar and vector fields, with either shortor long-range interactions, and with or without conservation laws. We obtain L(t) consistently by comparing the global rate of energy change to the energy dissipation from the local evolution of the order parameter. We derive growth laws for O(n) models, and our res...
متن کاملPhase-ordering kinetics on graphs.
We study numerically the phase-ordering kinetics following a temperature quench of the Ising model with single spin-flip dynamics on a class of graphs, including geometrical fractals and random fractals, such as the percolation cluster. For each structure we discuss the scaling properties and compute the dynamical exponents. We show that the exponent a_{chi} for the integrated response function...
متن کاملPhase-ordering in optimizing compilers
The " quality " of code generated by compilers largely depends on the analyses and optimizations applied to the code during the compilation process. While modern compilers could choose from a plethora of optimizations and analyses, in current compilers the order of these pairs of analyses/transformations is fixed once and for all by the compiler developer. Of course there exist some flags that ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2016
ISSN: 2075-2180
DOI: 10.4204/eptcs.211.2